Computation tree - PDFSEARCH.IO - Document Search Engine

Computation tree
Results: 129

#	Item
91	Advanced Topics in Combinatorial Methods for Testing Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-09-04 15:52:31 Computing Software engineering Temporal logic Assertion Debugging Fuzz testing Model checking Computation tree logic Java Modeling Language Software testing Logic in computer science Theoretical computer science
92	A Better -Best List: Practical Determinization of Weighted Finite Tree Automata Jonathan May Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 20:52:07 Theoretical computer science Computer science Computing CYK algorithm Finite state transducer Finite-state machine Parse tree Formal grammar Mehryar Mohri Automata theory Formal languages Models of computation
93	Statistical Active Learning Algorithms Vitaly Feldman IBM Research - Almaden [removed] Maria Florina Balcan Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-11-22 14:15:54 Artificial intelligence Learning Models of computation Supervised learning Differential privacy Decision tree model Active learning Information theory Machine learning Cybernetics Applied mathematics
94	Capturing Practical Natural Language Transformations Kevin Knight Information Sciences Institute and Computer Science Department University of Southern California [removed] Add to Reading List Source URL: www.isi.edu Language: English - Date: 2008-02-13 19:53:36 Theoretical computer science Computer science Finite state transducer Computational linguistics Finite-state machine Applied mathematics Formal grammar Tree automaton Speech recognition Automata theory Models of computation Formal languages
95	Towards Probabilistic Acceptors and Transducers for Feature Structures Daniel Quernheim Institute for Natural Language Processing Universit¨at Stuttgart, Germany Pfaffenwaldring 5b, 70569 Stuttgart [removed]-stuttg Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2012-06-21 10:19:05 Models of computation Directed acyclic graph Finite-state machine Finite state transducer Graph Directed graph Tree Trie Graph theory Theoretical computer science Automata theory
96	DAGGER: A Toolkit for Automata on Directed Acyclic Graphs Kevin Knight University of Southern California Information Sciences Institute Marina del Rey, California[removed]removed] Add to Reading List Source URL: www.isi.edu Language: English - Date: 2012-07-17 14:34:24 Applied mathematics Computer science Finite state transducer Finite-state machine Directed acyclic graph Mehryar Mohri DAG Tree automaton Algorithm Automata theory Models of computation Theoretical computer science
97	In Proc. of the Eleventh International Conference on Implementation and Application of Automata (CIAA), Lecture Notes in Computer Science, c Springer Verlag, 2006. Tiburon: A Weighted Tree Automata Toolkit Jonathan May a Add to Reading List Source URL: www.isi.edu Language: English - Date: 2006-07-06 12:34:50 Models of computation Computer science Software engineering Finite state transducer FSA Utilities Finite-state machine Tree automaton Formal grammar Context-free grammar Formal languages Automata theory Theoretical computer science
98	The "tree-dependent components" of natural scenes are edge filters Daniel Zoran Interdisciplinary Center for Neural Computation Hebrew University of Jerusalem Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2009-11-01 07:46:30 Linear filters Electromagnetism Signal processing Filter Electronic filter Gabor filter Pattern recognition Electronic engineering Filter theory Electronics
99	SCORAM: Oblivious RAM for Secure Computation ∗ Xiao Shaun Wang Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-09-15 11:47:32 Oram Time complexity Hash table Circuit Binary tree Theoretical computer science Applied mathematics Analysis of algorithms
100	Ultrafast and memory-efficient alignment of short DNA sequences to the human genome Ben Langmead, Cole Trapnell, Mihai Pop, and Steven L. Salzberg Center for Bioinformatics and Computation Biology, University of Maryland Add to Reading List Source URL: www.cbcb.umd.edu Language: English - Date: 2009-01-27 16:27:12 Burrows–Wheeler transform Transforms Search algorithms Suffix tree Search engine indexing Suffix array Backtracking FM-index Database index Information science Information retrieval Information

UPDATE